A Linear Type System for Multicore Programming ∗ Rui Shi1 and Hongwei Xi2 1 2 Yahoo! Inc.

Source URL: www.cs.bu.edu

Getting from x to y without crashing: Computer syntax in mathematics education By David J. Jeffrey Department of Applied Mathematics, University of Western Ontario, London, Ontario, Canada N6A 5B7 Receive

Source URL: www.apmaths.uwo.ca

• Cross-platform software
• Mathematical software
• Array programming languages
• Numerical software
• Numerical linear algebra
• MATLAB
• Array programming
• Maple
• Matrix
• SageMath
• Array data type
• Numerical analysis

SIAM J. OPTIM. Vol. 20, No. 4, pp. 1786–1810 c 2010 Society for Industrial and Applied Mathematics 

Source URL: www.sandia.gov

• Electrical engineering
• Operations research
• Mathematical optimization
• Graph theory
• Electric power
• Power-flow study
• Topology
• Laplacian matrix
• Matrix
• KarushKuhnTucker conditions
• Linear programming
• Bilevel optimization

Teaching and Learning Guide 4: Linear Programming Activity Sheet Linear Programming - ACTIVITIES ACTIVITY ONE Learning Objectives LO1. Students to construct simple objective functions an

Source URL: www.metalproject.co.uk

blank Network Design for Railway Infrastructure by means of Linear Programming Von der Fakult¨

Source URL: darwin.bth.rwth-aachen.de

SUMS OF SQUARES, MOMENT MATRICES AND OPTIMIZATION OVER POLYNOMIALS MONIQUE LAURENT∗ Updated version: February 6, 2010 Abstract. We consider the problem of minimizing a polynomial over a semialgebraic set defined by pol

Source URL: homepages.cwi.nl

• Mathematics
• Algebra
• Real algebraic geometry
• Mathematical optimization
• Operations research
• Matrices
• Linear programming
• Semidefinite programming
• Polynomial
• Moment problem
• Moment matrix
• Matrix

HYSDEL 3.0 – Manual Institute of Information Engineering, Automation, and Mathematics Slovak University of Technology in Bratislava Radlinsk´ehoBratislava

Source URL: control.ee.ethz.ch

• Software
• Application software
• Mathematical software
• Array programming languages
• Numerical software
• Parallel computing
• Linear algebra
• MATLAB
• R
• Mathematical optimization

Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming Clemens Ballarin∗ Manuel Kauers Institut f¨

Source URL: www21.in.tum.de

The Minimum-Norm-Point Algorithm Applied to Submodular Function Minimization and Linear Programming Satoru FUJISHIGE∗, Takumi HAYASHI†, and Shigueo ISOTANI‡ September, 2006

Source URL: www.kurims.kyoto-u.ac.jp

Introduction to LP and SDP Hierarchies Madhur Tulsiani Princeton University Local Constraints in Approximation Algorithms Linear Programming (LP) or Semidefinite Programming

Source URL: www.win.tue.nl